[XEN] 32on64 fix compat page table shutdown
authorEmmanuel Ackaouy <ack@xensource.com>
Tue, 30 Jan 2007 12:33:43 +0000 (12:33 +0000)
committerEmmanuel Ackaouy <ack@xensource.com>
Tue, 30 Jan 2007 12:33:43 +0000 (12:33 +0000)
commitc7cdf6739ff76ed9194f697cc4b888b3a9b3fa8b
tree12699868c6263212c2bfb29b2fa2c2c9dc1b05cb
parentf1efb233c12643082f7c843acab5bdc985cc34ad
[XEN] 32on64 fix compat page table shutdown
When releasing the guest page table, do not clobber the xen private
L4 page pointer which is managed by setup/release_compat_l4.

Signed-off-by: Emmanuel Ackaouy <ack@xensource.com>
xen/arch/x86/domain.c